permanent extension - German English Dictionary